🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
The use of Claude Code in SciML repos
discourse.julialang.org·1d·
Discuss: Lobsters
📏Code Metrics
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·5d
🎯Performance Proofs
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·15h·
Discuss: DEV
📝ABNF Parsing
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
Understanding Matrices | Part 4: Matrix Inverse
towardsdatascience.com·13h
📐Linear Algebra
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·1d·
Discuss: Hacker News
🔲Cellular Automata
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·4h·
Discuss: Hacker News
🦀Rust Verification
The Burden of Responsibility
ides.dev·20h·
Discuss: Hacker News
⚙️Proof Engineering
Matrix Multiplication on Nvidia's Blackwell: Part 1 – Introduction
modular.com·1d·
Discuss: Hacker News
⚡SIMD Optimization